$\forall$$R$:es\_realizer\{i:l\}, $y$,$i$:Id. read{-}restricted($R$; $i$; $y$) $\in$ $\mathbb{B}$